1. Finite automata, their algebras and grammars
پدیدآورنده : J. Richard Buchi ; Dirk Siefkes, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
2. Finite automata : their algebras and grammars : Towards a theory of formal expressions
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
3. The collected works of J. Richard Buchi
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Logic, Symbolic and mathematical,، Buchi, J. Richard, 4291-4891
رده :
QA
267
.
B79
1990
4. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Gنdel's theorem,، Model theory
رده :
QA
3
.
L28
no
.
328
5. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Godel's theorem,، Model theory
رده :
QA
1
.
L4
v
.
328
6. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
65
.
B8
1973
7. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Godel's theorem,Model theory
رده :
QA
3
.
L28
no
.
328
8. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem,، Model theory
رده :
QA
3
.
L28
Vol
.
328
